191![Tool-Support for the Analysis of Hybrid Systems and Models Tool-Support for the Analysis of Hybrid Systems and Models](https://www.pdfsearch.io/img/6bd99d654aaf70c81a8fc0b002c2f6a5.jpg) | Add to Reading ListSource URL: www.date-conference.comLanguage: English - Date: 2007-03-14 18:49:09
|
---|
192![Ranking and Reputation Systems in the QBF competition Massimo Narizzano, Luca Pulina, and Armando Tacchella Ranking and Reputation Systems in the QBF competition Massimo Narizzano, Luca Pulina, and Armando Tacchella](https://www.pdfsearch.io/img/5ffe7363bf95b9a752cead66f5055a7f.jpg) | Add to Reading ListSource URL: www.star.dist.unige.itLanguage: English - Date: 2007-12-12 09:04:58
|
---|
193![Handbook of Satisfiability Armin Biere, Marijn Heule, Hans van Maaren and Toby Walsch IOS Press, 2008 Handbook of Satisfiability Armin Biere, Marijn Heule, Hans van Maaren and Toby Walsch IOS Press, 2008](https://www.pdfsearch.io/img/c65f0f7f5d25cb0b9c8be60f8c5ef85e.jpg) | Add to Reading ListSource URL: www.eecs.berkeley.eduLanguage: English - Date: 2009-01-24 01:34:38
|
---|
194![S PEAR Theorem Prover Domagoj Babi´c ∗ (Theorem prover architect) S PEAR Theorem Prover Domagoj Babi´c ∗ (Theorem prover architect)](https://www.pdfsearch.io/img/72cdef686e5e2c9576ee21b26a82cdb7.jpg) | Add to Reading ListSource URL: www.cs.ubc.caLanguage: English - Date: 2007-02-18 15:26:16
|
---|
195![](https://www.pdfsearch.io/img/2516965854c73f64ff0f6c774064a111.jpg) | Add to Reading ListSource URL: www.lsi.upc.eduLanguage: English - Date: 2008-10-15 05:36:10
|
---|
196![](https://www.pdfsearch.io/img/e271c492115ebf369cd10cb7ad3410a5.jpg) | Add to Reading ListSource URL: www.cs.nyu.eduLanguage: English - Date: 2012-03-19 21:28:41
|
---|
197![](https://www.pdfsearch.io/img/8b522f28d5a62c88c1d6852e0d948413.jpg) | Add to Reading ListSource URL: staff.science.uva.nlLanguage: English - Date: 2006-11-16 10:32:03
|
---|
198![](https://www.pdfsearch.io/img/ad168d5ce8a58e7cbe433512fda6a4a4.jpg) | Add to Reading ListSource URL: pst.istc.cnr.itLanguage: English - Date: 2007-08-26 10:17:21
|
---|
199![](https://www.pdfsearch.io/img/7be6b24698e5ba09f02171e5045457ca.jpg) | Add to Reading ListSource URL: fm.csl.sri.comLanguage: English - Date: 2006-08-26 05:21:04
|
---|